<?php

class NotLoaded {

}
